Simple Causal Minimizations for Temporal Persistence and Projection
نویسنده
چکیده
Formalizing temporal persistence and solving the temporal projection problem within traditional non-monotonic logics is shown possible through two different approaches, neither of which re. special minimization techniques. $$$z~~ potential causes is shown to yield a type of temporal persistence that is useful for the temporal projection problem, although it differs significantly from the ordinary conception of temporal persistence. A conception of determined causes is then developed whose minimization does yield the results preferred by ordinary temporal persistence. Finally, previous approaches to formalizing temporal persistence using chronological minimizations are shown inadequate for certain classes of scenarios, which causal minimizations formalize correctly.
منابع مشابه
Persistence and probabilistic projection
Predicting the future is an essential component of decisionmaking. In most situations, however, there is not enough information to make accurate predictions. A theory of causal reasoning for predictive inference under uncertainty is developed. A common type of prediction that involves reasoning about persistence is emphasized whether or not a proposition once made true remains true at some late...
متن کاملThe Evolution of the Cyc Methodology
ions (that is, have to create O(n ⋅ m ) objects) using the set-of-points-based abstraction; using the interval-based formalism, we Articles 46 AI MAGAZINE . . . by associating temporal extents with objects as opposed to reifications of propositions, we get a certain added expressiveness. Associated with each ground formula is an interval of persistence. Thus, if we knew that Fred was happy at t...
متن کاملThe Evolution of the Cyc Methodology
ions (that is, have to create O(n ⋅ m ) objects) using the set-of-points-based abstraction; using the interval-based formalism, we Articles 46 AI MAGAZINE . . . by associating temporal extents with objects as opposed to reifications of propositions, we get a certain added expressiveness. Associated with each ground formula is an interval of persistence. Thus, if we knew that Fred was happy at t...
متن کاملProbabilistic causal reasoning
Predicting the future is an essential compo nent of decision making. In most situations, however, there is not enough information to make accurate predictions. In this paper, we develop a theory of causal reasoning for pre dictive inference under uncertainty. We em phasize a common type of prediction that in volves reasoning about persistence: whether or not a proposition once made true rem...
متن کاملCausal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regression under various assumptions. As it turned out, even the simplest one among them, one-step temporal projection with complete initial state, is intractable. We also briefly consider an extension of the framework to allow...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1987